home *** CD-ROM | disk | FTP | other *** search
/ Cre@te Online 2000 December / Cre@teOnline CD05.iso / MacSoft / XML ConsoleMax.sea / XML ConsoleMax / Required / xdk_dev.jar / a / ANTLRStringBuffer.class (.txt) < prev    next >
Encoding:
Java Class File  |  1999-12-15  |  918 b   |  66 lines
  1. package a;
  2.  
  3. public class ANTLRStringBuffer {
  4.    // $FF: renamed from: a char[]
  5.    protected char[] field_0 = new char[8];
  6.    // $FF: renamed from: b int
  7.    protected int field_1;
  8.  
  9.    public final void append(char var1) {
  10.       if (this.field_1 >= this.field_0.length) {
  11.          int var2;
  12.          for(var2 = this.field_0.length; this.field_1 >= var2; var2 *= 2) {
  13.          }
  14.  
  15.          char[] var3 = new char[var2];
  16.  
  17.          for(int var4 = 0; var4 < this.field_1; ++var4) {
  18.             var3[var4] = this.field_0[var4];
  19.          }
  20.  
  21.          this.field_0 = var3;
  22.       }
  23.  
  24.       this.field_0[this.field_1] = var1;
  25.       ++this.field_1;
  26.    }
  27.  
  28.    public final void append(String var1) {
  29.       for(int var2 = 0; var2 < var1.length(); ++var2) {
  30.          this.append(var1.charAt(var2));
  31.       }
  32.  
  33.    }
  34.  
  35.    public final char charAt(int var1) {
  36.       return this.field_0[var1];
  37.    }
  38.  
  39.    public final char[] getBuffer() {
  40.       return this.field_0;
  41.    }
  42.  
  43.    public final int length() {
  44.       return this.field_1;
  45.    }
  46.  
  47.    public final void setCharAt(int var1, char var2) {
  48.       this.field_0[var1] = var2;
  49.    }
  50.  
  51.    public final void setLength(int var1) {
  52.       if (var1 < this.field_1) {
  53.          this.field_1 = var1;
  54.       } else {
  55.          while(var1 > this.field_1) {
  56.             this.append('\u0000');
  57.          }
  58.  
  59.       }
  60.    }
  61.  
  62.    public final String toString() {
  63.       return new String(this.field_0, 0, this.field_1);
  64.    }
  65. }
  66.